1,247 research outputs found

    Motives and comprehension in a public goods game with induced emotions

    Get PDF
    This study analyses the sensitivity of public goods contributions through the lens of psychological motives. We report the results of a public goods experiment in which subjects were induced with the motives of care and anger through autobiographical recall. Subjects' preferences, beliefs, and perceptions under each motive are compared with those of subjects experiencing a neutral autobiographical recall control condition. We find, but only for those subjects with the highest comprehension of the game, that care elicits significantly higher contributions than anger, with the control treatment in between. This positive influence of the care motive on unconditional giving is accounted for partly by preferences for giving and partly by the beliefs concerning greater contributions by others. Anger also affects attention to own and other's payoffs (using mouse tracking) and perceptions of the game's incentive structure (cooperative or competitive)

    Moody Music Generator: Characterising Control Parameters Using Crowdsourcing.

    Get PDF
    Abstract. We characterise the expressive effects of a music generator capable of varying its moods through two control parameters. The two control parameters were constructed on the basis of existing work on va-lence and arousal in music, and intended to provide control over those two mood factors. In this paper we conduct a listener study to determine how people actually perceive the various moods the generator can produce. Rather than directly attempting to validate that our two control param-eters represent arousal and valence, instead we conduct an open-ended study to crowd-source labels characterising different parts of this two-dimensional control space. Our aim is to characterise perception of the generator’s expressive space, without constraining listeners ’ responses to labels specifically aimed at validating the original arousal/valence moti-vation. Subjects were asked to listen to clips of generated music over the Internet, and to describe the moods with free-text labels. We find that the arousal parameter does roughly map to perceived arousal, but that the nominal “valence ” parameter has strong interaction with the arousal parameter, and produces different effects in different parts of the con-trol space. We believe that the characterisation methodology described here is general and could be used to map the expressive range of other parameterisable generators.

    A formally verified compiler back-end

    Get PDF
    This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

    Rabies screen reveals GPe control of cocaine-triggered plasticity.

    Get PDF
    Identification of neural circuit changes that contribute to behavioural plasticity has routinely been conducted on candidate circuits that were preselected on the basis of previous results. Here we present an unbiased method for identifying experience-triggered circuit-level changes in neuronal ensembles in mice. Using rabies virus monosynaptic tracing, we mapped cocaine-induced global changes in inputs onto neurons in the ventral tegmental area. Cocaine increased rabies-labelled inputs from the globus pallidus externus (GPe), a basal ganglia nucleus not previously known to participate in behavioural plasticity triggered by drugs of abuse. We demonstrated that cocaine increased GPe neuron activity, which accounted for the increase in GPe labelling. Inhibition of GPe activity revealed that it contributes to two forms of cocaine-triggered behavioural plasticity, at least in part by disinhibiting dopamine neurons in the ventral tegmental area. These results suggest that rabies-based unbiased screening of changes in input populations can identify previously unappreciated circuit elements that critically support behavioural adaptations

    Prostaglandin E2 and T cells: friends or foes?

    Get PDF
    Our understanding of the key players involved in the differential regulation of T-cell responses during inflammation, infection and auto-immunity is fundamental for designing efficient therapeutic strategies against immune diseases. With respect to this, the inhibitory role of the lipid mediator prostaglandin E2 (PGE2) in T-cell immunity has been documented since the 1970s. Studies that ensued investigating the underlying mechanisms substantiated the suppressive function of micromolar concentrations of PGE2 in T-cell activation, proliferation, differentiation and migration. However, the past decade has seen a revolution in this perspective, since nanomolar concentrations of PGE2 have been shown to potentiate Th1 and Th17 responses and aid in T-cell proliferation. The understanding of concentration-specific effects of PGE2 in other cell types, the development of mice deficient in each subtype of the PGE2 receptors (EP receptors) and the delineation of signalling pathways mediated by the EP receptors have enhanced our understanding of PGE2 as an immune-stimulator. PGE2 regulates a multitude of functions in T-cell activation and differentiation and these effects vary depending on the micro-environment of the cell, maturation and activation state of the cell, type of EP receptor involved, local concentration of PGE2 and whether it is a homeostatic or inflammatory scenario. In this review, we compartmentalize the various aspects of this complex relationship of PGE2 with T lymphocytes. Given the importance of this molecule in T-cell activation, we also address the possibility of using EP receptor antagonism as a potential therapeutic approach for some immune disorders
    • …
    corecore